#include <stdio.h>

int main() 
{
  for(int i = 0; i < 10; i++) 
  {
    printf("Hello Linux: %d\n", i);
  }
  return 0;
}

